Nuprl Definition : union-deq
0,22
postcript
pdf
union-deq(
A
;
B
;
a
;
b
) == <sumdeq(
a
;
b
),sum-deq(
A
;
B
;
a
;
b
)>
latex
Definitions
sum-deq(
A
;
B
;
a
;
b
)
,
sumdeq(
a
;
b
)
FDL editor aliases
union-deq
origin